Probabilistic Models for Learning a Semantic Parser Lexicon Jayant Krishnamurthy Allen Institute for Artificial Intelligence 2157 N. Northlake Way, Suite 110 Seattle, WA 98103

Source URL: ai2-website.s3.amazonaws.com

• Academia
• Linguistics
• Cognition
• Formal languages
• Compiler construction
• Cognitive science
• Grammar
• Parsing
• Natural language processing
• Context-free grammar
• Computational linguistics
• Semantics

Curriculum Vitæ Karolina Krzyżanowska Munich Center for Mathematical Philosophy Ludwig-Maximilians-Universität München Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft

Source URL: karolinakrzyzanowska.com

• Conditionals
• Epistemology
• American philosophers
• Formal epistemology
• Formalism
• Gregory Wheeler
• Stephan Hartmann
• Indicative conditional
• European Summer School in Logic
• Language and Information
• Causality
• Philosophy

Formal proof sketches Freek Wiedijk University of Nijmegen Abstract. We define the notion of formal proof sketch for the mathematical language Mizar. We show by examples that formal proof sketches are very close to infor

Source URL: www.cs.ru.nl

To tree or not to tree? The Quest for Sentence Structure in Natural Language Processing ˇ Zdenˇek Zabokrtsk´ y Institute of Formal and Applied Linguistics

Source URL: prague_logic_2016.math.cas.cz

Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr

Source URL: pages.lip6.fr

SECURITY The Bugs We Have to Kill S E R G E Y B R AT U S , M E R E D I T H L . PAT T E R S O N , A N D A N N A S H U B I N A

Source URL: langsec.org

• Software engineering
• Software
• Computer programming
• Compiler construction
• Parsing
• Formal languages
• Parser combinator
• Syntax
• Computability
• Compiler-compiler
• Compiler
• Domain-specific language

Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich

Source URL: dream.inf.ed.ac.uk

• Logic
• Proof theory
• Formal systems
• Logical truth
• Syntax
• Proof assistants
• Mathematical proof
• Logic programming
• Sequent
• KeY
• Rule of inference
• Inference

ConSpec: A Formal Language for Policy Specification Irem Aktug KTH 1

Source URL: www.csc.kth.se

Jeffrey L. Lidz University of Maryland Department of Linguistics 1401 Marie Mount Hall College Park, MD

Source URL: ling.umd.edu

• Semantics
• Academia
• Cognitive science
• Cognition
• Bootstrapping
• Language acquisition
• Language Acquisition: A Journal of Developmental Linguistics
• Sandra Waxman
• West Coast Conference on Formal Linguistics
• Cognitive linguistics
• Concept

The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Models of computation
• Parallel computing
• Programming language semantics
• Denotational semantics
• Abstract interpretation
• Semantics
• Astre